Defining Model Transformations for Property Templates
نویسنده
چکیده
We defined the notion of property templates after we observed that many system failures can be clustered according to their symptoms, and the design constraints these failures violate [PW09]. In this technical report we document the semantics of property templates, and how we implemented these semantics in AspectJ code templates that support assertion generation for Java programs.
منابع مشابه
Multi-scale 3-D Deformable Model Segmentation Based on Medial Description
This paper presents a Bayesian multi-scale three dimensional deformable template approach based on a medial representation for the segmentation and shape characterization of anatomical objects in medical imagery. Prior information about the geometry and shape of the anatomical objects under study is incorporated via the construction of exemplary templates. The anatomical variability is accommod...
متن کاملTowards a Theory of Refinement for Data Migration
We develop a theoretical framework for refining transformations occurring in the process of data migration. A legacy kernel can be discovered at a high-level abstraction which consolidates heterogeneous data sources in a legacy system. We then show that migration transformations are specified via the composition of two subclasses of transformations: property-preserving transformations and prope...
متن کاملDefining Genres and Their Features for Studying Information Reuse: Preliminary Findings
This paper discusses the use of genre theory for analysing information content of structured documents and mixed media training material. We describe an analysis phase of an ongoing research aimed at information reuse from Operation and Maintenance (O&M) manuals in training, consisting of spoken, multimedia and textual content. The content of training was given the form of templates. We used th...
متن کاملTowards the flexible reuse of model transformations: A formal approach based on graph transformation
Model transformations are the heart and soul of Model Driven Engineering (MDE). However, in order to increase the adoption of MDE by industry, techniques for developing model transformations in the large and raising the quality and productivity in their construction, like reusability, are still needed. In previous works, we developed a reutilization approach for graph transformations based on t...
متن کامل$omega$-Operads of coendomorphisms and fractal $omega$-operads for higher structures
In this article we introduce the notion of textit{Fractal $omega$-operad} emerging from a natural $omega$-operad associated to any coglobular object in the category of higher operads in Batanin's sense, which in fact is a coendomorphism $omega$-operads. We have in mind coglobular object of higher operads which algebras are kind of higher transformations. It follows that this natural $omeg...
متن کامل